1. Computability and logic
پدیدآورنده : George Boolos, Richard Jeffrey,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
QA
.
B66
9
.
59
1980
2. The unprovability of consistency : an essay in modal logic
پدیدآورنده : George Boolos,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Modality )Logic(,Proof theory
رده :
BC
.
M6B66
199